UML-based test specification for communication systems: a methodology for the use of MSC and IDL in testing
نویسنده
چکیده
Nowadays, the complexity of modern telecommunication systems has increased significantly and the requirement for thorough and systematic testing is undisputed. The Testing and Test Control Notation (version 3) (TTCN-3) is an universal and standardised language for the specification and implementation of tests for communication systems. Many systems and in particular object-oriented systems are described using the Unified Modeling Language (UML). Therefore, UML models are an important source for test development and in particular for manual test purpose specification and automatic test generation. Thus, usage of UML from a test perspective is considered. UML models provide interface information by class diagramms and description of scenarios by sequence diagrams respectively Message Sequence Charts (MSCs). Most UML tools permit conversion of class diagrams into Interface Definition Language (IDL) which widens applicability. The combination of TTCN-3 and UML by MSC and IDL is a new approach. Thus, new mappings for MSC and IDL to TTCN-3 have been worked out. Additionally, to widen usability and applicability, the deficiency of objectorientation in TTCN-3 is inspected and a proposal for an object-oriented revision is given.
منابع مشابه
آزمون خودکار نرمافزارهای شیگرا با استفاده از موردهای کاربری و ضوابط OCL
Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملTTCN-3 Test Case Generation from Message Sequence Charts
Scenario-based testing, manual as automatic, is applicable for black-box and specific white-box testing for communication protocols and distributed systems. UML models provide scenario descriptions by sequence diagrams respectively MSCs. Thus, the combination of TTCN-3, as test description language, and UML by MSC to specify and automatically generate test cases has to be considered. The work i...
متن کاملThe Graphical Format of TTCN-3 in the Context of MSC and UML
Graphical system design techniques like Message Sequence Chart (MSC) and Unified Modelling Language (UML) are gaining more and more acceptance because they ease the development, understanding, and maintenance of software systems. In the testing area no accepted graphical test specification and implementation techniques exist. To overcome this shortcoming, a graphical presentation format for the...
متن کاملMaTeLo – Statistical Testing Using Annotated Sequence Diagrams, Markov Chains and TTCN-3
In this report, we present a general framework for testing timecritical systems and software as it is proposed in the European IST project MaTeLo. The main task is to derive TTCN-3 compatible test case descriptions starting from annotated sequence diagrams, which specify additional non-functional requirements. In our methodology we combine statistical usage testing based on Markov chain usage m...
متن کامل